4

On countable completions of quotient ordered semigroups

Year:
2008
Language:
english
File:
PDF, 391 KB
english, 2008
6

Markovian dynamics of concurrent systems

Year:
2019
Language:
english
File:
PDF, 1.11 MB
english, 2019
7

Projective topology on bifinite domains and applications

Year:
2006
Language:
english
File:
PDF, 266 KB
english, 2006
8

True-concurrency probabilistic models: Markov nets and a law of large numbers

Year:
2008
Language:
english
File:
PDF, 1.12 MB
english, 2008
10

Branching cells for asymmetric event structures

Year:
2014
Language:
english
File:
PDF, 1.04 MB
english, 2014
11

Application of branching cells to QoS aware service orchestrations

Year:
2014
Language:
english
File:
PDF, 646 KB
english, 2014
12

Foreword in honor of Glynn Winskel

Year:
2014
Language:
english
File:
PDF, 174 KB
english, 2014
17

Toward uniform random generation in 1-safe Petri nets

Year:
2017
Language:
english
File:
PDF, 255 KB
english, 2017
18

Synchronization of Bernoulli sequences on shared letters

Year:
2017
Language:
english
File:
PDF, 1.31 MB
english, 2017
19

A Cut-Invariant Law of Large Numbers for Random Heaps

Year:
2016
Language:
english
File:
PDF, 703 KB
english, 2016